package edu.uclmgmu.bacteriosec.aspects.java.io.BufferedReader;


import java.io.BufferedReader;

import edu.uclmgmu.bacteriosec.aspects.common.Store;

privileged aspect BufferedReader_CountCalls {

	String around(java.io.BufferedReader caller) : target(caller) && 
			call(String java.io.BufferedReader.readLine())  {
		Store.updateNumberOfCalls(thisJoinPointStaticPart.getSignature().toString());
		return proceed(caller);
	}
	
	int around(java.io.BufferedReader caller) : target(caller) && 
			call(int java.io.BufferedReader.read())  {
		Store.updateNumberOfCalls(thisJoinPointStaticPart.getSignature().toString());
		return proceed(caller);
	}
}
